project(TYPE_CHECKER)

set(ARKTSCONFIG_PATH "${CMAKE_CURRENT_BINARY_DIR}/arktsconfig.json")
configure_file("${CMAKE_CURRENT_SOURCE_DIR}/arktsconfig.json.in" "${ARKTSCONFIG_PATH}")

compile_panda_source_list(
    TARGET_NAME type_checker_srcs
    ARKTSCONFIG "${ARKTSCONFIG_PATH}"
    SOURCE_LIST
        "TypeCheckerTypeof.ets"
        "FastTypeChecker.ets"
    EXTRA_DEPS
)
